This page has moved to /blog/defining-machine-states.